/**
 * @file bsp_timer.h
 * @brief Timer driver for H743-V2 Flight Control System
 */

#ifndef __BSP_TIMER_H
#define __BSP_TIMER_H

#ifdef __cplusplus
extern "C" {
#endif

#include <stdint.h>

int BSP_Timer_Init(void);
uint64_t BSP_Timer_GetMicros(void);
uint32_t BSP_Timer_GetMillis(void);

#ifdef __cplusplus
}
#endif

#endif /* __BSP_TIMER_H */

